er: l or i?
i
Suppose 5*u + 766 - 818 = -t, 2*t + 4*u - 62 = 0. Suppose 15 = -7*y + 2*y, 0 = -4*a - 4*y + 60. Is a less than t?
False
Suppose 0 = 2*o - 129 - 93. Let f = -93195 - -93307. Is o not equal to f?
True
Suppose 3*r - 14 = -4*r. Let h(z) = -53*z - 32. Let q be h(r). Which is greater: q or -137?
-137
Let f be 26/3 - (-1)/3. Suppose -w + 14 = f. Suppose -u + 14 = -5*r + 3*u, 0 = -4*r - 3*u - w. Is -2 at most as big as r?
True
Let o = 568 + -542. Suppose -a = 5*l - o, -36*l = -38*l - 5*a + 15. Are 70/13 and l equal?
False
Suppose 2*u = -6, u - 8632 = 39*k - 34*k. Is k greater than or equal to -1727?
True
Let v = 138 + 302. Suppose v = 19*s + 1998. Is s less than -82?
False
Let d = 3893 - 58397/15. Which is smaller: d or -0.89?
-0.89
Let b(r) = 8*r**2 + 26*r + 23. Let x(h) = -2*h**2 + 1. Let l(a) = b(a) + 3*x(a). Let s be l(-11). Which is greater: s or -13?
-13
Suppose -2 + 14 = -4*h, h + 6 = g. Suppose 2*p = 2*t - p - 7, 8 = t - g*p. Are t and -8 unequal?
True
Let l(a) = a + 1. Let j(w) = -w - 1. Let b(i) = -i - 16. Let r(z) = b(z) - 3*j(z). Let k(f) = -3*l(f) + r(f). Let m be k(7). Which is bigger: -24 or m?
m
Let v be -2*(-442)/(-4) - 0. Let z be 861/(-41) - 226 - -26. Is v greater than or equal to z?
True
Suppose 4*a + 13*h + 7230 = 8*h, 5418 = -3*a - 3*h. Which is greater: -1802 or a?
a
Let a = -19973 - -19960. Which is bigger: -1/82 or a?
-1/82
Let o(v) = -8 + v - 29 - 3 + v. Let l be o(19). Let r be -8 + l + 6 + 2. Is 0 less than or equal to r?
False
Let k(y) = -7*y + 75. Let j be k(6). Let f = j - 75. Let m be ((-6)/(-7))/((-3)/147). Is m <= f?
True
Let x = -52897/25170 - -4/2517. Are x and -3 unequal?
True
Let c = 61 - 61.91. Let j = -2157 - -2155.69. Let k = c - j. Which is smaller: -2/37 or k?
-2/37
Let d = -247 - -244. Let x be (-104)/(-6) - (7 - (-20)/d). Suppose -3*b + 2*u + 50 = -1, -2*b + 41 = u. Is b != x?
True
Let f = 323 - 342.3. Let o = -19.5 - f. Which is smaller: 1/32 or o?
o
Let d(o) = 32*o**2 - 3*o**3 + 4*o + 14 + 28*o + 24 + 18 + 4*o**3. Let y be d(-31). Are y and 26 non-equal?
True
Suppose 123*n - 4*n + 8798 = 1182. Does 27 = n?
False
Let r = 6.307 - 6.227. Let u = 5 - 4.96. Which is smaller: r or u?
u
Let k = 42.6 + -39. Let w = 0.47366 + -0.17366. Which is smaller: w or k?
w
Let g = 7119705/26 - 274363. Let n = 528 + g. Which is smaller: -2/5 or n?
-2/5
Let c = 238.5 - 240. Let j = -5.8 - c. Which is greater: j or 1/5?
1/5
Let h = -110826/10681 + 12/971. Let i = -241 + 594. Suppose 0 = 6*m - 299 + i. Which is bigger: h or m?
m
Let c = 7 - 4. Suppose c*u = -5*f + 1, f + 3*u = 2*f + 7. Let g be (-10)/(-705) + 0/2. Do f and g have the same value?
False
Let n = -67.14 + 0.14. Let b = n - -153. Let p = 88.3 - b. Which is smaller: -1 or p?
-1
Let h = 0.1049 - 5.0949. Let m = h + -0.01. Which is greater: 36 or m?
36
Let j be (-14572)/(-108)*24 - 14 - (-2)/(-9). Do 3226 and j have different values?
True
Let x(o) be the second derivative of o**4/6 + 2*o**3 + 11*o**2/2 + 3*o - 13. Let s be x(-5). Which is bigger: -6/65 or s?
s
Suppose 19*c = -160 + 141. Is 1/1351 >= c?
True
Let o be (-6)/(-33) + ((-128070)/25740)/(2/4). Does o = -9?
False
Let r = 1.146 + -0.146. Let z = 782 + -778.87. Let j = -3 + z. Which is smaller: j or r?
j
Let x be (-20*15/(-150))/(6 - 0). Does 4046 = x?
False
Let t = -4308 - -3010. Is t less than -1298?
False
Let o = 1.28 - -10.72. Let l = 12.1 - o. Which is greater: 0 or l?
l
Suppose 7*y + 7*y = -13*y + 7*y. Which is smaller: y or 20/259?
y
Let b(m) = -27*m - 6. Let k(j) = 1. Let q(g) = -b(g) - k(g). Let w be q(-1). Let y be (11/w)/((-5)/(-2) - 2). Does -1 = y?
True
Suppose -135 = 4*c + 3*v, 12 - 42 = c + 2*v. Let d = c + 35. Let g be 24/(-84)*(-7)/(-75). Is d < g?
True
Let l = 3753 - 3751. Is 214 < l?
False
Let w be 4015/126 - (-4)/(-8). Let q = -272/9 + w. Let d = 261 - 260. Does q = d?
False
Let r be 318/3339*(-2)/(-4). Is -0.043 equal to r?
False
Suppose 41 - 36 = 5*o. Let w be (-72)/(-10) - o - (-1)/(-5). Let h be (2/w)/(((-5)/12)/(-5)). Is h greater than 16/5?
True
Let w = 27.102 + -27. Let t = w - -57.898. Let b = -58.1 + t. Which is bigger: -6 or b?
b
Suppose 17*h = 19*h - 5*l + 56, 4*h - 5*l + 112 = 0. Which is smaller: -32 or h?
-32
Let u = -370 - -369.5. Let g be ((-64)/(-12) - (-5)/(-1))/1. Is g less than u?
False
Let r = -12.4 + 11.4. Let f = 1 + r. Is f smaller than -0.12?
False
Let l be 2 - (-95)/(4 - -1). Let d be (l/12 + -1)/(45/300). Which is bigger: d or 24/5?
d
Let h = 11967/7 - 25980371/15197. Which is greater: h or 0?
0
Let n = -3.8 + 3.7. Let r = -3.8 + 3.6. Let p = r - n. Is -3 at most as big as p?
True
Let j be (4/4)/((-245)/90 + (-28)/(-126)). Which is bigger: j or 5273?
5273
Let q = 0.978 + -0.9. Let w = q + -0.238. Let b = 1 + 0. Which is smaller: b or w?
w
Let h = 203 - 112. Let g = h - 95. Let j = -500576/131109 - 2/11919. Is g at least as big as j?
False
Let w = 18.3053 - 1.3053. Is w greater than or equal to 310?
False
Suppose 28*m - 3910 = -718. Does m = 225/2?
False
Let a be 12*(-5)/(-10) + 469/(-35) + 13. Which is greater: -7 or a?
a
Let o be 1634/12 + 1/(-6). Suppose 40*k + 61*k - 10124 - 3612 = 0. Is k greater than or equal to o?
True
Let n be ((-2448)/(-1514700))/(-2*3). Is 1 > n?
True
Let z = -0.5167 + -1.2833. Is z != -36?
True
Suppose 43*y + 154 = 54*y. Let d(h) = -h**2 + 13*h - 32. Let m be d(y). Which is smaller: m or -47?
-47
Let w = 984.9 - 984.018. Is -0.1 < w?
True
Suppose -3*k - 25*z = -20*z + 23, 0 = -4*k + z. Let y = -8 + 46. Which is greater: k or y?
y
Let c = 3 - 0. Let l = -234 + 24. Let g = l - -210.11. Is g >= c?
False
Let x = 5314/5 - 36337137/34190. Which is bigger: x or 1?
1
Let r be (-4)/(-5) + 2/10. Let j(k) = k**3 + 9*k**2 + 8*k + 2. Let q be j(-8). Let g be 33/21 + (1 - q). Is r less than g?
False
Let y(c) be the first derivative of -c**2/2 + 6*c - 38. Let r be y(-8). Suppose -7*t + r*t + 140 = 0. Which is greater: t or -19?
-19
Suppose 4*p = 1 + 51. Let t = p - 9. Let l be (-33)/(-5) - (-12)/t. Which is bigger: l or 10?
10
Suppose -5*f = 3*a + 20, 4*f - 1895 = -4*a - 1911. Is a != 38/35?
True
Let k = 98 - 70. Suppose 10 = -4*u + 134. Are k and u non-equal?
True
Let u = -252243 + 3031979/12. Let i = u + -835/2. Let j = 14/3 - i. Which is greater: -66 or j?
j
Let y = 131 + -3. Let o = y - 134. Is o <= 3?
True
Suppose -20*k + 59*k + 39 - 78 = 0. Is k greater than or equal to 2/4993?
True
Suppose 36*m - 16 + 7 = 27. Is -5/796 bigger than m?
False
Let q(w) = -23*w**2 - 24*w - 1. Let b be q(1). Is 17 <= b?
False
Suppose -10332 = -0*g - 21*g. Suppose 490 = 2*b + g. Which is bigger: b or -5/44?
-5/44
Suppose 2*r = 4*c - 0*r + 92, c = 2*r - 17. Let i = -28 - c. Let g(t) = -t - 4. Let o be g(i). Is o bigger than -1/97?
False
Let s be (1/(-12))/(12/18) - (-1836)/9056. Which is bigger: s or 0?
s
Suppose 82*f - 86*f = 1300. Let p be -1*(8 - f/(-30)). Which is smaller: 2 or p?
2
Let k = 16.9 - 7.6. Let f = 55.3 - k. Let v = -46.2 + f. Is 1.5 >= v?
True
Let a = 181 - 95. Let f = a + -64. Let r = f + -22.2. Which is greater: -28/3 or r?
r
Let s be 4/(-4) + 0/(-1). Suppose 2*m + 3*n - 609 = -586, 4*m - 3*n - 1 = 0. Is s at least m?
False
Let r be (-2)/8 + 4648/32. Let c = r - 241. Which is smaller: -97 or c?
-97
Let z = 38559/7 + -4111. Is z <= 1397?
False
Let g(z) = -61*z + 1418. Let k be g(23). Is k greater than -4/11?
True
Suppose -1343*n + 77 = -1266*n. Which is smaller: n or 6/809?
6/809
Let r = -32794 + 61751100/1883. Let n = r + -3428/318227. Let y(c) = 60361*c - 120723. Let h be y(2). Is h != n?
True
Let d be 4 - (1 + (-2)/1). Suppose -d*o + 2*o + 345 = 0. Let m = o - 114. Which is bigger: -62 or m?
m
Let f be (-47)/(-57) + (-4)/6. Let q(r) = -25*r - 126. Let k be q(-5). Which is smaller: f or k?
k
Let l be (-5)/(-20) + (-5265)/(-1836). Does 3 = l?
False
Let d(m) = -2*m**2 + 27*m - 84. Let p be d(14). Let y be (-3)/7 - ((-840)/p + -11). Which is bigger: y or -12?
y
Let z = -466.8 - -264.7. Let v = z + 202. Is v at most -152?
False
Suppose -4*c + 2*q = -7 - 97, -3*q - 31 = -c. Let t be (-1)/(-3)*(6 - 0)*-1. Let l be t/(-1) + (-4)/3. Is l <= c?
True
Let x(m) = -m**3 - 6*m**2 - 6*m - 8. Let f be x(-5). Let r be (f/(-711))/(18/108). Which is smaller: r or 0.5?
r
Let g be 1/(18007/(-9778)) - (-48)/88. Are g and -2/5 non-equal?
True
Let m be (8 