r: j or -35?
-35
Let o(a) = 91*a + 13. Let u be o(4). Let n be (25/55)/5*(-4143 - -2). Let p = u + n. Which is bigger: 0.1 or p?
p
Let c = 190 + -187. Suppose o = 2*x + 320, 462 = -3*x - 0*x - c*o. Do -158 and x have the same value?
True
Let j be 1/340*(-40)/(-100). Is j equal to 1?
False
Let n = 7171 - 7693. Is -4696/9 at least n?
True
Suppose -109*o + 105*o - 264 = 0. Let f(q) = -16*q**2 - 2*q + 1. Let g be f(2). Let w = g - o. Which is smaller: -1/7 or w?
w
Let k = -15 + 15. Suppose -4*c = -k*c - 840. Let s be (1 - (-14)/(-4))*(-56)/c. Is 2 less than s?
False
Suppose 4*z + 11 + 27 = 2*c, c - 4*z = 13. Let j(m) = -m**2 + 21*m + 98. Let w be j(c). Is w at least as big as -17?
True
Let z = 2 + 21. Let p be (-365264)/(-14808) - ((-4)/(-3)*-1 - 0). Which is smaller: z or p?
z
Let h = -23749/46 + -2604/23. Let z = h + 28969/46. Suppose -4 = 4*y + 5*i, -4*y + i = -2*i + 4. Is z smaller than y?
False
Suppose 99*r - 121*r - 196*r = 0. Is 9/37 at most as big as r?
False
Let z(h) = -h + 1. Let i(q) = -q**2 - 17*q - 3. Let s(a) = i(a) - 6*z(a). Let b be s(-10). Let r = -16808/3 + 5603. Is b at least r?
True
Suppose x - 2*x - 7 = 0. Suppose 98*m - 184 = 52*m. Suppose 5*o = -5*z - 0*o + 30, m = 2*o. Is z less than x?
False
Let q = -114 + 114.6. Let m = 483 - 2414/5. Is q less than m?
False
Let x = -6997 + 7019. Are 44 and x equal?
False
Let q be (-7)/((-112)/(-20292)) + (81/36 - 3). Is q > 2?
False
Let g(w) = -5 - 7 + 3 - 12*w - 6*w**2 + 0 - 3. Let m be g(-4). Which is bigger: m or -1?
-1
Let q = -14 - -64. Suppose q*b = 37*b - 182. Which is bigger: b or -12?
-12
Let a = -443 - -946. Let s = a + -503.1. Are 27/7 and s unequal?
True
Let v be ((-2)/(-5))/((-20)/(-50)). Let j be v + (-5)/3 + 82/(-3). Let i be 63/(-54)*(-9)/j. Is 2/3 bigger than i?
True
Let s = -2 - -1. Let c = -425 - -445. Suppose c = -19*g + 39. Is s at least g?
False
Let t = 0.229 + 60.771. Let y = -202 + 140. Let r = t + y. Is r equal to 1/14?
False
Let l(h) = 95*h - 413. Let a be l(11). Which is smaller: 629 or a?
629
Let d(a) = -a + 1. Let g(i) = 2*i + 12. Let c(o) = -3*d(o) - g(o). Let h be c(17). Suppose 3*n + 47 = -h*n - 2*b, 4 = -4*b. Is n <= -3?
True
Let i = 0.092 + 52.908. Let a = 245 - 245. Which is smaller: i or a?
a
Let t = 0.064 + 109.936. Let n = -107.1427 + -0.8573. Let m = t + n. Is m bigger than 16/5?
False
Let v be (-1 + 3 + -4)*(-2 + 13172). Let o be (-6)/(-1)*4*(-5)/v. Which is bigger: o or 0?
o
Let r(h) = 4*h - 163. Let s be r(40). Suppose 3*l + 51 = -3*g, -2*l + 5*g + 45 = -5*l. Let x be s/l*(-20)/35. Which is smaller: -1 or x?
-1
Suppose 128 + 115 = 27*k. Suppose 21*w = k*w + 12. Is w equal to 5/106?
False
Let g = -0.498 + 227.498. Let u = g - 243. Which is smaller: 0 or u?
u
Let o(z) = 59*z - 19. Let u be o(-2). Suppose 146*j - 147*j - 137 = 0. Are j and u unequal?
False
Let o = 9954/3085141 + -4/2339. Is 1 not equal to o?
True
Let m be 2/(-258)*(-12)/1. Suppose 3*b - 10 = b. Suppose 4*o = b*o. Is m at most o?
False
Let v be -12 + -6 - 1200/(-25). Which is bigger: 66 or v?
66
Let l be ((-16960)/(-16))/10*(-3)/6. Let d be -51 - (-3)/(1 - 4). Is d greater than or equal to l?
True
Let d be 5650/(-1356)*(-4)/(-45). Suppose 0 = 5*w - 3 + 8. Which is smaller: d or w?
w
Let t = 8800.953 + -8800. Is t not equal to 0.1?
True
Let g = -297 + 296. Let o be 5 + g - (-13 - -4). Is -1 at least as big as o?
False
Let c be (0 - -29)*(13 + -12). Suppose 55 = -4*r - c. Is r < -1/9?
True
Suppose -16*f - 3*f + 8759 = 0. Is 2307/5 greater than or equal to f?
True
Let h(o) = 3*o - 20. Let b be h(2). Let w(p) = -p**2 - 12*p + 29. Let v be w(b). Let l = -597 - -8959/15. Is v at least as big as l?
True
Let n(z) = -z**3 - z**2 + 8*z + 10. Let s be n(-3). Suppose -4*v + 78 = 4*l - 30, 4*v = s*l + 140. Which is smaller: v or 153/5?
153/5
Suppose 51*q = -5927 - 1876. Let o(u) = -21*u - 4. Let b be o(7). Which is smaller: q or b?
q
Let y = -2554.8607 - -2555. Let d = -0.0393 + y. Is d smaller than 178?
True
Let r = 0.081 - 128.081. Let g = r + 42. Let l = g + 87. Do l and -127 have different values?
True
Let v = -49 - -53. Suppose 8*m - v*m = 8. Suppose 3*c + m = -t, 2*t - 3*t - 4*c = 1. Do -8 and t have different values?
True
Suppose 5307*k = 5449*k - 298626. Is k greater than or equal to 2101?
True
Let h = 6473.54 + -6384. Let v = 90 - h. Which is greater: 0 or v?
v
Let q = -4036 - -4217. Which is bigger: q or 202?
202
Let z = -1295.7 - -1294.7. Is 7/1863 at most as big as z?
False
Let g be ((-6)/30 - 98/210)*(-294)/(-16). Do g and 0.3 have the same value?
False
Let t(p) = 694*p**3 - p**2 + p + 2. Let c(s) = 3471*s**3 - 5*s**2 + 4*s + 10. Let q(k) = -2*c(k) + 11*t(k). Let z be q(-1). Let r = z - -52049/75. Does -1 = r?
False
Suppose 650 = -2*x - 5*i, 33*i + 654 = -2*x + 29*i. Let o = x - -336. Let u be 4/(-6)*(-36)/10. Is u != o?
True
Let s(a) = -a**3 + 38*a**2 - 28*a - 368. Let k be s(36). Which is smaller: 1212 or k?
1212
Let v = -90232603/413 - -218481. Which is greater: v or 1?
1
Let h = 0.15 - 0.05. Let t = 5878 + -23521/4. Is h not equal to t?
True
Let k be (2/8)/((-3)/12408*-10). Is k != 103?
True
Let i = -0.042 + 29.042. Let t = -23 + i. Let k = t - 4. Which is smaller: k or 0.4?
0.4
Suppose -v - j + 23 = -2*j, 13 = v + 4*j. Suppose 6*n - 9 = v. Suppose 5*h + 29 = -2*a, 0 = n*a - 2*a + 2*h + 16. Is -8/3 at least a?
False
Let z = 3265/254 + -1442/127. Suppose -x + i - 3*i - 16 = 0, 2*i + 56 = -3*x. Does z = x?
False
Let g = 10155 + -10154.8. Is g <= -230?
False
Suppose 0 = 2*l - 3*p - 5, -l - 2*p + 6 = -0. Let y(c) = 4*c - 25. Let v be y(l). Do -5 and v have different values?
True
Let k be -2 + 85 + (38 - 46). Let d(t) = -5*t - 48. Let p be d(-21). Let j = 131 - p. Do j and k have different values?
True
Let f be ((-54)/4)/(12/(-16)). Let m = -20 + f. Let s be (1 - -5) + -10 + 0. Which is bigger: m or s?
m
Let t = -62 + 14. Let w(g) = -4*g - 1. Let u be w(15). Let h = t - u. Which is smaller: 15 or h?
h
Let b = 746253012/36047 + -600427/29. Let q = -28/113 - b. Which is greater: q or 1?
q
Let z(h) = h**2 + h + 2. Suppose -3*y = -w - 33, 3*w + w + 3*y = -102. Let x be 17/(-119) + w/7. Let g be z(x). Which is bigger: 11 or g?
g
Let k be (-1130)/(-164)*72/90. Let b = k - -1944/287. Is 13 > b?
True
Let b(p) = -p**3 + 55*p**2 + 64*p - 446. Let s be b(56). Let y = -21/106 + 5571/2438. Which is smaller: s or y?
s
Let u(o) = 2*o**2 + 6*o - 22. Let r be u(14). Suppose -20*j - 1434 + r = 0. Suppose -2*v + 4*y = -0*y + 82, -2*v - 4*y - 114 = 0. Is j at most as big as v?
True
Suppose -3*h + 2*a - 27 + 1 = 0, -65 = 5*h + a. Let i be h/2*33/(-22). Which is greater: 1 or i?
i
Suppose 16*t + 3*t - 95 = 0. Suppose o - 4 = -u + 2, 5*o - t*u = -20. Which is smaller: 9/10 or o?
9/10
Suppose 5 - 33 = -7*n. Suppose -2*u - 34 + 15 = -3*b, n*b = -2*u + 16. Is b greater than 4/7?
True
Let a be (402/(-603))/(4*(-3)/(-9)). Are a and -1464 unequal?
True
Suppose -162 + 165 = -3*r. Let f = 0.186 + -0.131. Which is smaller: r or f?
r
Let j = 490.3 - 490.2. Do 19/82 and j have the same value?
False
Let v be (50/(-4))/(((-21)/6)/7). Let k be (195/v)/((-2)/(-10)). Is 39 smaller than k?
False
Let r = 21717 - 19340. Is 16630/7 bigger than r?
False
Suppose 4*u - 8 = 4*t, 0 = 4*t + 5*u - 53 + 16. Suppose 2*h = -t*f + 10, 0 = -2*f + 4*h + 13 - 1. Let n be (f/6)/(80/(-48)). Is n greater than 1?
False
Let l(a) = -a - 11. Let t be l(-8). Suppose -3*s - 4 = -5*k, 2*s + 2*s = -3*k + 14. Let x(c) = 7*c - 18. Let o be x(s). Which is smaller: o or t?
o
Let n(i) be the first derivative of -3*i**2/2 - 51*i + 1. Let r be 2/(-4)*((-200)/(-2600) + (-441)/(-13)). Let z be n(r). Which is smaller: z or 8/11?
z
Let y be (-27 - (0 + -19)) + -1 + 12. Which is smaller: y or 229?
y
Let x be 2 + (-3604)/(-85) - 6/(-10). Let z = -6 - -14. Let r be ((-5)/(x/(-6)))/(z/(-6)). Is r at least -8/7?
True
Let u be (-87)/12 + 2*(-1)/(-8). Let n(h) = -h - 4. Let x be n(u). Is -1/5 > x?
False
Let t = 91371 - 91372.4. Let f be 4/((18/(-1))/(-2)). Is t less than or equal to f?
True
Let n be (-5)/2 + 11912705/2219. Let d = n - 5366. Are 0 and d nonequal?
True
Let g = 465 + -314. Let q = g - 150.8. Are 10 and q non-equal?
True
Let m = 186 - 108. Suppose -4*r = -20, -3*n + 3*r - m = -0*r. Which is smaller: n or -17?
n
Let t = 1036 - 266. Which is smaller: t o