: d or m?
m
Let q be (6 - 3)*-5*1. Let u be (-2)/((-10)/q) - -8. Suppose 4 = -v - 0*v, 0 = -u*m + 5*v + 55. Which is bigger: 6 or m?
m
Let r = 7.5 + -7.24. Let a = -0.08 - -0.34. Let w = a - r. Which is smaller: 1 or w?
w
Let s = 0.0639 - 0.0639. Which is smaller: s or -55/6?
-55/6
Let s = -2 - -5. Let d = 4 - 4. Are d and s equal?
False
Let u be ((2 - 2) + -1)*-7. Suppose u*j + 24 = -4. Which is smaller: j or -3?
j
Suppose 2*w + 4 = 0, -3*w = -5*j + 9 - 73. Let a be (-3 - -1 - -7) + j. Is a bigger than -16?
True
Let o be ((-368)/2)/(-3 - -4). Which is greater: -183 or o?
-183
Suppose 4 + 12 = -4*f. Let h be 55/(-45) + f/(-18). Let j = 20.99 - 21. Which is bigger: j or h?
j
Let x = -23 - -27. Suppose -x*p - 46 = -5*k, -4*k - 6*p + 42 = -4*p. Is k > 1?
True
Let o = 0.268 + -0.268. Which is greater: -2 or o?
o
Let z = 114.08 - 113. Let h = 1.08 - z. Is h equal to -1.4?
False
Let y = 14 + 95. Is y > 109?
False
Suppose 4*n - 127 = 1. Let o be 2*-2 - -4*(-6 - -4). Let r be 2/6 - n/o. Is 2 greater than or equal to r?
False
Let x = -7728 + 378687/49. Is 0 equal to x?
False
Let u = 0.011 + -2.331. Let a = -0.22 - u. Let l = -4.9 - a. Which is smaller: 2/9 or l?
l
Let w = 610 - 610.3. Which is bigger: 4/15 or w?
4/15
Let v = -46/5 - -42/5. Let j = 3/10 + v. Let y be 14/(-10) + 2/5. Which is smaller: j or y?
y
Let y(h) = 19*h - 21. Let s be y(5). Which is smaller: s or -0.08?
-0.08
Let j(a) = 2*a**3 + a**2. Let q be j(-1). Let y be -3 + 3 + 441 + 2. Let s = -14618/33 + y. Which is smaller: q or s?
q
Let h = -471 - -471. Let x be (-8)/4 + (-238)/(-122). Let g = -25/732 + x. Is h bigger than g?
True
Suppose -4*g = -3*c + 8*c - 28, 5*c - 43 = g. Let y(a) = -4*a + 22. Let l be y(c). Let p = 14 - 23. Which is smaller: l or p?
l
Let o = -7 + 48. Let a(c) = -39*c + 1989. Let j be a(50). Is o >= j?
True
Let j = -8 + 11. Suppose 7*h = j*v + 3*h - 41, -3*v + 2*h + 31 = 0. Suppose 2*k - v*k = -5. Which is smaller: 0.2 or k?
0.2
Let r be 1/(-4) + 1/2. Let m = -57 + 58. Do r and m have different values?
True
Let i = 11 + -9. Is 24/13 > i?
False
Let y(d) be the first derivative of d**3/3 - 15*d**2/2 + 7*d - 1. Let s be y(15). Is s >= 7?
True
Suppose 3*w - 3*r = -81, -2*r = -3*r + 1. Let k = w - -12. Let p = k + 13. Is p smaller than -6?
False
Let g = -311 + 311. Which is greater: 2 or g?
2
Let m = -4179/37 + 113. Let u(o) = -o - 5. Suppose -5*n = -3*k - 17, -2*n = 2*k + 4 + 2. Let q be u(k). Which is greater: m or q?
m
Let t be 2/5 + (-416)/(-10). Let x be (-6)/27*t/(-1). Let w = x - 9. Is w less than or equal to 1?
True
Suppose 117 = 12*b + 189. Let k = 0 - -0.2. Is b at least k?
False
Let j(n) = 14*n**2 + 2*n - 3. Let w be j(1). Suppose -w*c = 18 - 161. Which is greater: 13 or c?
13
Let x be ((-7)/(280/(-16)))/((-1)/140). Is x greater than or equal to -59?
True
Let x be (-4)/(-16) + 3 + (-26)/8. Which is smaller: x or 5/31?
x
Suppose -3*t = 2*t + 5. Let n be (-10)/(-8) + (-51)/(-68). Let z be 3/(2/n)*(-4)/306. Which is greater: t or z?
z
Let n = -66 - -438. Is n not equal to 372?
False
Let f(i) = i**3 - i**2 - 2*i - 9. Let a be f(3). Are 7/2 and a equal?
False
Let f = -1.04 - 0.96. Let h = -1.57 + 0.07. Let u = h - -1. Does f = u?
False
Let p be 192/(-42) + (-3)/7. Let v = 11 - 18. Is p less than v?
False
Let k = -0.77 - 0.21. Let h = -0.02 + k. Let t = -0.5 - 5.5. Is t >= h?
False
Let a = 53 + -41. Let d(u) = u + 7. Let x be d(a). Is x at most as big as 19?
True
Let f = 253 - 274. Is f >= -21?
True
Suppose -4*y + 12 = 0, -4 = 4*k - 5*y + 19. Let b be 208/(-56) - k/(-7). Let x be 18/8*b/(-6). Is 3 less than or equal to x?
False
Let k(x) = x**2 - 14. Let f be k(5). Let g be (-220)/f*((-24)/(-10))/(-4). Is g at least as big as 12?
True
Let d = 5.5 + -5. Let y = d - 15. Let a = -2.5 - y. Which is greater: a or 0?
a
Let i = 94 + -181. Let z = -87.1 - i. Is z less than 0.1?
True
Suppose 0*p - y + 5 = 4*p, 9 = 5*p + 4*y. Suppose 2*o - 10 = -2*z, 5*z = -2*o + 7*o + 15. Is p not equal to o?
False
Let v = 55 + -55. Let a = 1.244 + 0.056. Which is smaller: v or a?
v
Let d = 3 + 13. Let c = d - 15. Does -1/25 = c?
False
Suppose -405 = 2*y - 3*s, s - 290 - 117 = 2*y. Is -203 less than or equal to y?
False
Let t = -1.712 + 1.512. Let s = -1.8 - 18.2. Which is smaller: t or s?
s
Let b = 2519 - 1622. Let q be 2/(-4)*-1 + b/26. Which is greater: q or 34?
q
Let h = -24673/47 - -525. Let f(v) = 2*v + 5. Let o be f(-3). Which is smaller: o or h?
o
Let v = 1 - -5. Let k = v - 4. Let q be 8120/(-1820) + (-6)/(-13). Which is bigger: q or k?
k
Let m(a) = -a**3 + a**2 + a - 1. Let c be m(1). Suppose 0*b - h = 4*b + 17, 4*h - 22 = -b. Which is smaller: c or b?
b
Suppose -j = 3*g - 3*j - 19, -j + 7 = 4*g. Suppose -g*a + 4 = 25. Let t(m) = m**2 + 3*m - 1. Let y be t(-1). Which is smaller: y or a?
a
Let n = -4 + -6. Let j = -16 + 22. Let u(m) = -m - 4. Let c be u(j). Is n at least as big as c?
True
Let r = 10.67 + 29.53. Which is smaller: -2 or r?
-2
Let j = 224 - 225. Is 103 < j?
False
Let b = 14 + -1. Let r be (2/6)/(b/(-2)). Is r at most 0?
True
Let t(r) = -r**3 + 3*r**2 + 11*r - 7. Let x be t(5). Let b be (-16)/x*(-3)/(-6). Let w = -3 + b. Which is smaller: w or 12/7?
w
Let l = -31/136 - -6/17. Is l greater than 91?
False
Let t = 364 - 349. Is t at most 15?
True
Suppose 19*b - 1728 = 324. Which is bigger: b or 107?
b
Suppose h = 3*w - 2*h, 0 = 4*h - 12. Let p be (-2)/w - -2 - 3. Let j be 1/8 - 187/88. Which is smaller: j or p?
j
Let j = 2824 - 3099. Which is smaller: -1 or j?
j
Let k(f) = -f**2 + 16*f - 19. Let a(r) = 5*r**2 - 63*r + 77. Let j(v) = -2*a(v) - 9*k(v). Let l be j(-19). Let t be l/(-6)*(-51)/425. Is -1 <= t?
True
Let l(s) = -s**3 - 2*s**2 + 6*s - 5. Let z be l(-5). Is z at least 40?
True
Let i be 2/2 + 6 + 3. Suppose -i*h = -8*h. Which is bigger: 3/4 or h?
3/4
Suppose 6 = -r - 15. Suppose 2*t = 3*t - 4*x + 37, 5*x + 85 = -5*t. Is t smaller than r?
False
Let f be 94458/(-455) - -2*3/10. Which is smaller: -211 or f?
-211
Let o(a) = 10*a + 440. Let i be o(-44). Is i equal to -0.503?
False
Let z be (2/(-3))/(16/(-6)). Let v(y) = -5 + 0 - 2*y + y. Let j be v(-4). Which is smaller: z or j?
j
Let y(k) = -k**2 - k + 21. Let n be y(4). Do -14/57 and n have the same value?
False
Let p(d) = 2*d**3 + 57*d**2 + 35*d + 74. Let n be p(-28). Which is smaller: -123 or n?
-123
Let c be -572802 + 2 + 9/(-3). Let i = c - -5161868/9. Let v = -739 + i. Is v != 0?
True
Let a(u) = 17*u - 122. Let p be a(8). Which is smaller: p or 140/11?
140/11
Let r be -2 - (1/4 - 244/16). Let t = r + -31. Is t >= -18?
True
Let s be -38 + 3 + -2 + 3. Let f = s + 35. Are -11 and f unequal?
True
Suppose 3*z = 15*z - 72. Let q = 4 - 6. Let s = 4 + q. Is z at least s?
True
Let r(p) = p - 10. Let l be r(9). Let z be l + 13/4 + -1. Suppose 4*h = -7*h - 2*h. Which is bigger: h or z?
z
Let q be (-6 - 39/(-27)) + 5. Let v = 0 - 1. Does v = q?
False
Let q = 1.14 - 1.04. Which is smaller: 6/17 or q?
q
Suppose q = 5*y + 38 - 106, 4*y - 46 = 5*q. Suppose -y*o + 28 = -21*o. Is 2 < o?
False
Let d(c) = c**3 + 5*c**2 - 5*c + 4. Let s be d(-6). Let h(b) = -4*b**3 - 2*b**2 + 1. Let u be h(-1). Suppose -4*l = -l + u. Which is smaller: l or s?
s
Let a = -108527/52 - -2087. Which is bigger: a or -1?
a
Let a be ((-6)/2)/((-90)/4). Let h be 2*-3 - (-64 - -59). Is a at most h?
False
Let n be ((-120)/45 + (-4)/(-3))*-36. Is n greater than 47?
True
Let m = 1437.3 - 1370. Let j = m - 67. Is 4/11 < j?
False
Suppose 5*f = -4*p + 925, -f - 659 = -3*p + 11. Is p equal to 223?
False
Let v be (-10804)/(-2160) + 5 + (-13 - -3). Which is bigger: 0 or v?
v
Let b(d) = -d**3 - 2*d**2 + 26*d - 16. Let u be b(-10). Are 524 and u equal?
True
Let b be -16 - (-8 - (-50)/5). Are b and -11 equal?
False
Let p be 6*((-1)/2 - -1) + -3. Let y be (-2)/(-4)*0/6. Is y at least p?
True
Suppose 1279 - 499 = 15*x. Which is bigger: x or -11?
x
Let m be ((-10)/25)/(2/(-610)). Are 123 and m non-equal?
True
Suppose -28*j - 896 = -0*j. Which is greater: 6 or j?
6
Let f be (-14)/10 - 2/(-5). Let h be f/((477/6)/3). Let u(m) = -23*m - 45. Let r be u(-2). Which is bigger: h or r?
r
Let k(n) = -n**3 + 7*n**2 - 9*n + 14. Let u be k(6). Let t be ((-58)/(-16) + -4)*u*-2. Which is smaller: -2 or t?
t
Let j be (1/85 - 0) + 0. Let k = 262/595 - j. Let d = 421.1 + -421. Is d bigge