 to j?
True
Suppose -3*l = 323 - 1292. Let m = l + -237. Which is smaller: m or 85?
85
Let x be ((-4)/14 + (-1500)/(-105) + -14)*-1. Which is greater: -32.49 or x?
x
Let x be 48/40 - 5016/55. Which is smaller: x or -983/11?
x
Suppose 5292 = g + 48*g. Is g > 114?
False
Suppose -3*h - 1968 = -f, -5*f - 10*h + 9776 = -9*h. Is f equal to 1958?
False
Let k(x) = 2*x + 14. Let r be k(-7). Let g(b) = -2*b**3 + 11*b**2 + 16*b + 7. Let l be g(7). Let t be 199/1378 + l/182. Which is smaller: t or r?
t
Let s = 43.43 + -34.4. Let o = s + -0.03. Let z = 0.333 + -0.333. Are z and o equal?
False
Let q(p) = -p**3 + 5*p**2 + 7*p - 5. Let b = -101 - -107. Let l be q(b). Let r = -15972/13 - -1230. Which is smaller: l or r?
l
Let l be ((-264892)/672)/((-2123)/(-22)). Let x = 2/1351 + l. Is -3 at most x?
False
Suppose 3*a - 765 = -4*i, -i + a = 4*a - 189. Let p = i - 173. Which is smaller: p or 3?
3
Let m = 296 - 307.45. Let j = 0.45 + m. Let u = 9 + j. Is 14 < u?
False
Suppose -8*d - 41 + 17 = 0. Let l be ((-1)/d + 0)/(11/1287). Which is greater: l or 36?
l
Let a be 11*(-93)/(-62)*4/6. Suppose -18*t - a*t + 29 = 0. Is t < 243?
True
Let i(m) = -5*m**2 - 48*m - 423. Let w be i(-18). Which is greater: w or -1181?
w
Let r = -26.208 - -1.868. Let u = r - 2.66. Which is smaller: u or 1?
u
Let k = 64755470/531 + -121950. Are 0 and k equal?
False
Let u(z) = -12*z + 60. Let c be u(18). Let x = -138 - c. Which is smaller: 16 or x?
16
Let d(l) = 0*l**2 + 2*l**2 - 28*l + 51 - 49. Let n(f) = f - 1. Let v(k) = -d(k) - 6*n(k). Let q be v(11). Which is smaller: q or -4?
-4
Suppose 11 = b + 57. Suppose -150 = 3*s - 85*j + 81*j, 2*j - 52 = s. Is s greater than b?
False
Suppose -2161 - 595 = 399*v + 3229. Let u = -32 + 2. Let b = u - -17. Which is smaller: v or b?
v
Let c be (-2)/((-4)/(-8) + -1). Suppose 3*y - 11 = -c*k, -3*y + 3 - 10 = -5*k. Let r be ((-2)/18)/(3 + (-2 - k)). Is r <= -1?
False
Suppose 2*d + 1897 = 1897. Which is smaller: 1/2697 or d?
d
Suppose -5*d - 4*n + 3182 = 0, -3*d + 6*d - 3*n = 1920. Which is smaller: 639 or d?
d
Let m(v) = -v**2 - 10*v - 17. Suppose 3*j = 9 + 15. Let q(y) = y**3 - 8*y**2 - 8. Let i be q(j). Let w be m(i). Is -10/11 equal to w?
False
Let a be (-120)/(-16)*48/5. Let m = 70 - a. Let o be (-1)/3*-2*m/(-118). Is o less than or equal to -1?
False
Suppose 3*s = 14*s - 242. Let x be -2*s/(-4)*1. Suppose -l + 9 + 2 = 0. Is l not equal to x?
False
Let p = -7 + 42. Let b = 7138 + -7102.97. Let f = b - p. Which is smaller: -2 or f?
-2
Let q = -461 + 421. Let j(v) = -v**2 - 41*v + 125. Let o be j(q). Do o and 165 have the same value?
True
Let c = 4002 + -3998. Which is greater: -0.0232 or c?
c
Let i be (-1)/110*(-34 + (-638)/(-11)). Which is smaller: i or 1?
i
Let m be (-150)/(-24) + ((-15)/12)/1. Suppose -2*z = -3*t + 294, m*t - 318 = 2*z + 8*t. Is z at least -153?
True
Suppose -5599 = -3*u - 5*r, 2*r = 2*u - u - 1881. Let x = u - 99275/53. Is x > -1?
True
Let b be 125 - 120 - (9*122 - -2). Is -1095 greater than or equal to b?
True
Let i = 37193/7 + -5313. Is i at most 981?
True
Let r = -1445 - -1443. Is r > 406?
False
Let o be ((-14)/(-21))/(4/(-180)). Let b be (-5 + 0)*(-1 + 0/1). Which is smaller: b or o?
o
Let c be 9163/143 + (1/(-13))/1. Which is smaller: 17 or c?
17
Let u be 0/((3 + 1)/(-4)). Suppose 2*p = -s + 5, u = -5*p + 19 - 4. Let i be ((-20)/(-30))/(2*s/(-3)). Which is smaller: -4/41 or i?
-4/41
Let z = -139.63 + -9.87. Let l = 146.5 + z. Let t be 5/(-42) + 4/14. Is l < t?
True
Suppose -4*f + 36 = -0*f. Let m be f/(-18) + 22/4. Let a be ((-3)/30)/(2/m)*-22. Are a and 6 equal?
False
Let j = 121/70 + 1/14. Suppose 2*q + 5*q - 126 = 0. Suppose t - 4*t = -4*v + 13, 0 = 3*v - 5*t - q. Which is smaller: v or j?
v
Let o = 20/301 + 1445/903. Are o and 1.93 nonequal?
True
Suppose 4*n = w + 10171, -3*w - 12695 = -5*n - 8*w. Let j be n/6 + (50/(-30) - -3). Is j at most as big as 425?
True
Let a = -431 - -3009/7. Let t = 0.17 + -0.27. Which is smaller: a or t?
a
Let c = 39 - 38.23. Suppose 0 = 4*t + 2*j - 10, -8*t - 15 = -5*t - 3*j. Is c bigger than t?
True
Suppose -5*r - 15 = -2*c, 4*c + 0 = r + 3. Is c greater than or equal to 34/261?
False
Suppose -2*q - 39 = 3*b - 48, -28 = -2*b - 5*q. Which is smaller: b or 2/28849?
b
Let b(w) = -10*w - 140. Let i be b(-14). Suppose i = -v - 4*v, 0 = -a + 5*v + 1. Which is greater: 19/9 or a?
19/9
Let b = -3211 + 28901/9. Which is greater: 13/12 or b?
13/12
Let r = 30.54 + -30.666. Which is smaller: -1 or r?
-1
Let i(x) = -x**2 - 7*x - 1. Let u be i(-7). Let p(d) = 38*d**3 - 2*d + 1. Let h be p(2). Suppose -h + 15 = 11*o. Which is greater: u or o?
u
Let x be 6 - -4*(7 + 2). Which is smaller: 52 or x?
x
Let n = -31 - 98. Let v = n - -124. Let l be 18/(2 - -1) + v/10. Which is greater: l or 5?
l
Let g be (-87205)/175 - (-3)/(-5). Let x = g + 499. Which is bigger: x or 1?
1
Let y = -2.62 - -2.6. Let v = 0.038 + y. Which is greater: v or -3?
v
Let n = 921 - 171. Let z = n - 62. Let p = z + -4797/7. Which is bigger: 2 or p?
p
Suppose -x + 2*t = -2, -4 + 6 = 4*x - 2*t. Are x and -1/8836 equal?
False
Suppose -13367*i = -13270*i - 2334984. Is 24071 greater than i?
False
Let n be 10*14/20 + 2. Is n less than or equal to 150/19?
False
Let j = -38.58 - -38.57. Which is bigger: -381 or j?
j
Let j(i) = -i**3 + 13*i**2 - 30*i + 10. Let t be j(10). Let b be (12 - t)*(-122)/(-4). Is 59 at most as big as b?
True
Let t(o) = 208*o**2 + 4*o + 4. Let w be t(-5). Suppose -6*a - 6*a = -w. Let i = 3884/9 - a. Is i at least 1?
False
Let j(u) be the third derivative of -6*u**6/5 - u**4/8 + u**3/2 + 5*u**2 + 7*u. Let v be j(1). Is -145 <= v?
True
Let c = 1266 - 1265. Is -2/5883 < c?
True
Let c be (-101)/3*(-24)/(-8). Let v = 95 + c. Do -10 and v have the same value?
False
Let i = -19.29 - -4255.29. Which is smaller: 1 or i?
1
Let l = 0.08863 + 0.00457. Does -3 = l?
False
Let f = -378 + 382. Let q be (0 + (-1)/(-4))/(f/(-16)). Let n = 5283/8 + -662. Which is greater: n or q?
q
Let v(q) = -36*q + 394. Let i be v(11). Let l = -14853/4675 + -2/425. Is i > l?
True
Let a = 28 - 25. Suppose g + k = 68, a*k + 2*k = -4*g + 276. Which is greater: 65 or g?
65
Let k = 94135898/471 + -199864. Is 0 != k?
True
Let l = 51 - -21. Let z be (-48)/(-5)*(3 - -4 - 16/(-32)). Is z less than l?
False
Suppose -9*z + 2258 = 413. Suppose -z = -2*b - 25. Is 89 < b?
True
Let c(n) = -108*n - 540. Let l be c(-5). Let i be ((-3)/(-77))/((-30)/80). Which is smaller: l or i?
i
Suppose -34 - 151 = -a. Suppose -a = 18*g - 23*g. Which is bigger: g or 0?
g
Let g = 1138/5765 - -3/1153. Is 340 equal to g?
False
Let x = -8296.887 + 8303. Let m = 6.1 - x. Let n = m - -0.113. Are n and -1/9 equal?
False
Let z = 6.652 - 7. Let l = z - -0.248. Let q = -0.1 + 0.15. Which is greater: l or q?
q
Let v be (-2 - (5 - 10)) + (468/(-6))/6. Let f be 79119/21 + (3 - 1). Let i = -3779 + f. Which is greater: i or v?
i
Let n = -20379 + 17778. Is -2598 equal to n?
False
Let x(c) = -c**3 + 16*c**2 + 29*c + 126. Let l be x(18). Let s be 3/42*3/(-7). Is s <= l?
True
Suppose 16*s = -57 - 39. Let l be s + 5 - ((-43)/(-15) - 2). Which is smaller: -2 or l?
-2
Let p be ((-4)/2)/((-2)/3). Let y be -1 + p + 5580/5. Let v = y - 7800/7. Is v bigger than 5?
False
Let w = 2154 + -19397/9. Is 0.1 less than w?
False
Let i(h) = -h**3 - 7*h**2 + 12*h + 35. Let m be i(-8). Suppose -3*d = 4*d - m*d. Is -3/28 greater than d?
False
Let d = 43395758738/345 - 125785045. Let c = d + 871/3. Let v = -267/5 + c. Which is smaller: v or 1?
v
Let w(o) = -3*o**2 - 13*o - 39. Let f be w(-8). Let b = 128 + f. Is 11/9 less than b?
False
Suppose -2*v = 7*v + 2142. Let m = -162 - v. Let o(r) = r**2 + r + 75. Let p be o(0). Is m bigger than p?
True
Let t be (-15)/10 - -1 - (-307326)/(-68). Is -4520 equal to t?
True
Let w = -0.268 + 48.268. Let n = w + -48.1. Which is bigger: n or 3/19?
3/19
Let v = -61.97 - 0.03. Let s = v - -46. Which is greater: -0.3 or s?
-0.3
Suppose 5*z = -4*y + 5*y - 9, y = -z + 3. Let q be (z - 63) + (-1 - -3). Let p = -63 - q. Which is smaller: 1/20 or p?
p
Suppose -363*u = -138*u - 57375. Which is smaller: 269 or u?
u
Let m = 22 - 26. Let f be (8/6)/(m/(-60)). Let v be ((-8)/(-16))/((-6)/(-252)). Do v and f have different values?
True
Suppose 189*b + 3 = 188*b. Let c be 1 + (-2)/((-2)/(-3)). Let k = c +